Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·11h·
Discuss: Hacker News
🧮Constraint SMT
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·8h
🧮Theorem Proving
Cactus Language • Pragmatics 5
inquiryintoinquiry.com·21h
📐Format Grammars
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·16h·
Discuss: Hacker News
🧮Theorem Proving
Python Fundamentals: comparison chaining
dev.to·1d·
Discuss: DEV
📏Code Metrics
Why not? Developing ABox Abduction beyond Repairs
arxiv.org·8h
🔲Proof Irrelevance
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·1d
🧮SMT Solvers
Symbolic-numeric programming in scientific computing
dspace.mit.edu·8h
🧬Functional Programming
A Vaccine for Anthropomorphism of AI
commoncog.com·4h
🌳Context free grammars
Building great SDKs
newsletter.pragmaticengineer.com·21h
🔌Interface Evolution
Laurence Tratt: Which Parsing Approach?
tratt.net·1d·
Discuss: r/programming
📝Parsing Grammars
Designing SQL Tools for AI Agents
blog.arcade.dev·16h·
Discuss: Hacker News
⛏️SQL Archaeology
Generate suspicious transaction report drafts for financial compliance using generative AI
aws.amazon.com·17h
⚡Proof Automation
Records and the ‘with’ operator, redux
codeblog.jonskeet.uk·16h
🛡️Proof-Carrying Archives
Probabilistic Consistency in Machine Learning and Its Connection to Uncertainty Quantification
arxiv.org·8h
🧠Machine Learning
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·6h
✅Format Verification
Encoding SAT in OCaml GADTs
farlow.dev·2d·
Discuss: Hacker News
λLambda Formalization
Superimposed codes, take three
blog.sesse.net·4h
🔢Bitwise Algorithms
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·1d
🎯Performance Proofs
A Periodic Table of System Design Principles
github.com·18h·
Discuss: Hacker News
⚙️Operating System Design